Unlocking Speed: Certified Symmetry Breaking with Auxiliary Variables
dev.to·1d·
Discuss: DEV
🧮Combinator Calculus
Flag this post
Mastering Claude Code — A Free Open-Source Handbook for Developers
github.com·9h·
Discuss: DEV
🎭Program Synthesis
Flag this post
10000
jro.sg·17h
📦Executable Size
Flag this post
A Pattern Language for Pattern Languages
mcqn.net·6h
📋Backus-Naur Form
Flag this post
Dealing with domain modelling mismatches on external services
blog.shalvah.me·2h
🛡️Error Ergonomics
Flag this post
Making SLH-DSA 10x-100x Faster
conduition.io·5h
🔗Hash Algorithms
Flag this post
September 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
🗺️Region Inference
Flag this post
Claude Code-Sonnet 4.5 >>>>>>> Gemini 3.0 Pro - Antigravity
factory.ai·16h·
Discuss: r/ClaudeAI
📝Rope Editors
Flag this post
My first flash loan protocol: A Solana adventure
dev.to·14h·
Discuss: DEV
🔒Rust Borrowing
Flag this post
<p>**Abstract:** This research introduces a novel framework, Automated License Compliance Verification &#038; Optimization Through Multi-Modal Data Analysis and...
freederia.com·11h
✨Effect Inference
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.org·8h
🗂️Type Indexing
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·19h·
Discuss: Lobsters
🔧Error Recovery
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·11h·
Discuss: Hacker News
✅Type Checking
Flag this post
I built a task system that survives Claude sessions and works across any AI tool - entirely made with Claude Code
taskr.one·1d·
Discuss: r/ClaudeAI
💬Interactive REPLs
Flag this post
Show HN: OriGen – A Deterministic Workflow Compiler (Maps → IR → CI/K8s)
origen-hub.github.io·1d·
Discuss: Hacker News
🎯Symbolic Execution
Flag this post
Automating Documentation Maintenance with Prodigy: A Real-World Case Study
entropicdrift.com·1d·
Discuss: r/programming
📚Self-Documenting Code
Flag this post
AK-TSYS: An enhanced active learning Kriging model for time-dependent system reliability analysis
sciencedirect.com·16h
🔄Loop Optimization
Flag this post
Trying Out C++26 Executors
mropert.github.io·10h·
Discuss: Lobsters, Hacker News
🔮Speculative Execution
Flag this post
Architecting Uncertainty: Designing Reliable Systems on Top of LLMs
medium.com·1d·
Discuss: Hacker News
🎮Language Ergonomics
Flag this post
Show HN: Makefiles, Metalanguages, and Matrioshka Automata
robot-wranglers.github.io·1d·
Discuss: Hacker News
🔄Bootstrapping
Flag this post